------------------------------------------------------------------------------------------------------------------------------------------------------------ -- Generated for METAMODEL: fUML -- SEMANTICS ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- EVALUATING MODEL, TARGET ELEMENTS AND KEY ELEMENTS -- TARGET ELEMENTS: RealAddExecution ObjectToken Locus LogicalClock Offer RealMinusExecution JunctionInstant UnlimitedNaturalValue BooleanValue RealNegExecution SystemOfEquations DiscreteTimeBase Parameter Object DataValue ControlToken RealMultExecution MultipleTimeBase IntegerValue ExecutionFactory Signal RealValue RealLessThanOrEqualExecution PhysicalClock SignalInstance FeatureValue StringValue BooleanNotExecution BooleanAndExecution ActivityExecution Activity ParameterValue Class Reference Executor -- KEY ELEMENTS: MultipleTimeBase Value ExecutionFactory Instant Locus Event Classifier Constraint ValueSpecification Clock Token FeatureValue Offer Feature TimeBase ParameterValue SystemOfEquations Executor Parameter -- TARGET CLASSIFIERS: -- Activity -- ActivityExecution -- BooleanAndExecution -- BooleanNotExecution -- BooleanValue -- Class -- ControlToken -- DataValue -- DiscreteTimeBase -- ExecutionFactory -- Executor -- FeatureValue -- IntegerValue -- JunctionInstant -- Locus -- LogicalClock -- MultipleTimeBase -- Object -- ObjectToken -- Offer -- Parameter -- ParameterValue -- PhysicalClock -- RealAddExecution -- RealLessThanOrEqualExecution -- RealMinusExecution -- RealMultExecution -- RealNegExecution -- RealValue -- Reference -- Signal -- SignalInstance -- StringValue -- SystemOfEquations -- UnlimitedNaturalValue -- KEY CLASSIFIERS: -- Classifier -- Clock -- Constraint -- Event -- ExecutionFactory -- Executor -- Feature -- FeatureValue -- Instant -- Locus -- MultipleTimeBase -- Offer -- Parameter -- ParameterValue -- SystemOfEquations -- TimeBase -- Token -- Value -- ValueSpecification -- CROSS CUTTING CLASSIFIERS: -- will some target elements be lost? no -- checking closure -- evaluating closure for RealAddExecutionObjectTokenLocusLogicalClockOfferRealMinusExecutionJunctionInstantUnlimitedNaturalValueBooleanValueRealNegExecutionSystemOfEquationsDiscreteTimeBaseParameterObjectDataValueControlTokenRealMultExecutionMultipleTimeBaseIntegerValueExecutionFactorySignalRealValueRealLessThanOrEqualExecutionPhysicalClockSignalInstanceFeatureValueStringValueBooleanNotExecutionBooleanAndExecutionActivityExecutionActivityParameterValueClassReferenceExecutor -- using this key elements MultipleTimeBaseValueExecutionFactoryInstantLocusEventClassifierConstraintValueSpecificationClockTokenFeatureValueOfferFeatureTimeBaseParameterValueSystemOfEquationsExecutorParameter -- closed? false -- outside elements SemanticStrategyGeneralizationCommentElementImportActivityEdgeStructuredActivityNodePackageImportActivityNodeActivationActionActivityNodeObjectActivationActivityNodeActivationGroupPackageExecutableNode -- removing those elements -- will some key elements be lost? no -- closed? true -- are they elements to be processed? yes -- checking elements -- evaluating class hierarchy for MultipleTimeBaseValueExecutionFactoryInstantLocusEventClassifierConstraintValueSpecificationClockTokenFeatureValueOfferFeatureTimeBaseParameterValueSystemOfEquationsExecutorParameter -- entire class hierarchy is pair wise disjoint for elements... -- checking attributes from elements -- looking for inconsistencies: multiple types for a given atttribute, attribute uses a Bag or an OrdererSet, attribute without type -- WARNING: attribute uses an OrderedSet ownedParameter Parameter but it is mapped to a Set -- WARNING: attribute uses an OrderedSet ownedOperation Feature but it is mapped to a Set -- WARNING: attribute uses an OrderedSet ownedAttribute Feature but it is mapped to a Set -- WARNING: attribute uses an OrderedSet ownedAttribute Feature but it is mapped to a Set -- WARNING: attribute uses an OrderedSet ownedAttribute Feature but it is mapped to a Set -- WARNING: attribute uses an OrderedSet nestedClassifier Classifier but it is mapped to a Set -- WARNING: attribute uses an OrderedSet currentInstant Instant but it is mapped to a Set -- WARNING: attribute uses an OrderedSet ownedParameter Parameter but it is mapped to a Set -- WARNING: attribute uses an OrderedSet ownedParameter Parameter but it is mapped to a Set -- WARNING: attribute uses an OrderedSet constraint Constraint but it is mapped to a Set -- checking associations owning more than one ends, associations owning one end is covered by data types -- embedding generates properties owned by a classifier using two strategies: not navigable are defined in the data type constructor, navigable are generated in the generated transformation (criteria used: opposite is empty, i.e. other end is not navigable) -- ERROR: Association is not generated: communication_signals -- ERROR: Attribute: sender -- ERROR: Attribute: receiver -- ERROR: Attribute: signal -- ERROR: Attribute: reaction -- generating these elements: -- TimeBase -- subclasses: DiscreteTimeBase -- attributes(data constructors): -- MultipleTimeBase -- attributes(data constructors): -- Instant -- subclasses: JunctionInstant -- attributes(data constructors): -- Clock -- subclasses: PhysicalClock LogicalClock ChronometricClock -- attributes(data constructors): -- TimeNatureKind -- Locus -- attributes(data constructors): -- Offer -- attributes(data constructors): -- Token -- subclasses: ControlToken ObjectToken -- attributes(data constructors): -- FeatureValue -- attributes(data constructors): -- ExecutionFactory -- attributes(data constructors): -- Value -- superclasses: SemanticVisitor -- subclasses: BooleanValue RealLessThanOrEqualExecution Object UnlimitedNaturalValue ActivityExecution RealNegExecution DataValue SignalInstance BooleanAndExecution RealMultExecution StringValue RealMinusExecution Reference IntegerValue RealValue RealAddExecution BooleanNotExecution -- attributes(data constructors): -- SystemOfEquations -- attributes(data constructors): -- Executor -- attributes(data constructors): -- ParameterValue -- attributes(data constructors): ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Semantics_Extensions_Equation_SystemOfEquations -- () data FUML_Semantics_Extensions_Equation_SystemOfEquations = FUML_Semantics_Extensions_Equation_SystemOfEquations Int | FUML_Semantics_Extensions_Equation_SystemOfEquationsEmpty instance AsmTerm FUML_Semantics_Extensions_Equation_SystemOfEquations where asmDefault = FUML_Semantics_Extensions_Equation_SystemOfEquationsEmpty instance Ord FUML_Semantics_Extensions_Equation_SystemOfEquations where (<=) a b = genericLt a b || genericEq a b instance Eq FUML_Semantics_Extensions_Equation_SystemOfEquations where (==) = genericEq instance Create FUML_Semantics_Extensions_Equation_SystemOfEquations where createElem i = FUML_Semantics_Extensions_Equation_SystemOfEquations i -------------------------------------- ATTRIBUTES -------------------------------------- --type --class FUNCTIONS FUML_Semantics_Extensions_Equation_SystemOfEquations -- property generated object Object function_SystemOfEquations_object :: Dynamic ( FUML_Semantics_Extensions_Equation_SystemOfEquations -> FUML_Semantics_Classes_Kernel_Value ) function_SystemOfEquations_object = initAssocs' "function_SystemOfEquations_object" asmDefault asmLt (==) [] -- property generated constraint Constraint function_SystemOfEquations_constraint :: Dynamic ( FUML_Semantics_Extensions_Equation_SystemOfEquations -> {FUML_Syntax_Extensions_Classes_Kernel_Constraint} ) function_SystemOfEquations_constraint = initAssocs' "function_SystemOfEquations_constraint" {} asmLt (==) [] -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Semantics_Extensions_Equation_SystemOfEquations ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Semantics_Activities_IntermediateActivities_Offer -- () data FUML_Semantics_Activities_IntermediateActivities_Offer = FUML_Semantics_Activities_IntermediateActivities_Offer Int | FUML_Semantics_Activities_IntermediateActivities_OfferEmpty instance AsmTerm FUML_Semantics_Activities_IntermediateActivities_Offer where asmDefault = FUML_Semantics_Activities_IntermediateActivities_OfferEmpty instance Ord FUML_Semantics_Activities_IntermediateActivities_Offer where (<=) a b = genericLt a b || genericEq a b instance Eq FUML_Semantics_Activities_IntermediateActivities_Offer where (==) = genericEq instance Create FUML_Semantics_Activities_IntermediateActivities_Offer where createElem i = FUML_Semantics_Activities_IntermediateActivities_Offer i -------------------------------------- ATTRIBUTES -------------------------------------- --type --class FUNCTIONS FUML_Semantics_Activities_IntermediateActivities_Offer -- property generated offeredTokens Token function_Offer_offeredTokens :: Dynamic ( FUML_Semantics_Activities_IntermediateActivities_Offer -> {FUML_Semantics_Activities_IntermediateActivities_Token} ) function_Offer_offeredTokens = initAssocs' "function_Offer_offeredTokens" {} asmLt (==) [] -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Semantics_Activities_IntermediateActivities_Offer -- operation could be generated countOfferedValues OwnedParameter::Integer -- operatio_Offer_countOfferedValues :: FUML_Semantics_Activities_IntermediateActivities_Offer -> Rule Int -- -- operation could be generated getOfferedTokens OwnedParameter::Token -- operatio_Offer_getOfferedTokens :: FUML_Semantics_Activities_IntermediateActivities_Offer -> Rule FUML_Semantics_Activities_IntermediateActivities_Token -- -- operation could be generated (THERE IS NO RETURN) -- operatio_Offer_removeOfferedValues :: FUML_Semantics_Activities_IntermediateActivities_Offer -> Int -> Rule() -- -- operation could be generated (THERE IS NO RETURN) -- operatio_Offer_removeWithdrawnTokens :: FUML_Semantics_Activities_IntermediateActivities_Offer -> Rule() -- -- operation could be generated hasTokens Parameter1::Boolean -- operatio_Offer_hasTokens :: FUML_Semantics_Activities_IntermediateActivities_Offer -> Rule Bool -- ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Semantics_Extensions_Clock_Clock -- sub classes TYPES data FUML_Semantics_Extensions_Clock_ClockType = FUML_Semantics_Extensions_Clock_PhysicalClock | FUML_Semantics_Extensions_Clock_LogicalClock | FUML_Semantics_Extensions_Clock_ChronometricClock instance AsmTerm FUML_Semantics_Extensions_Clock_ClockType where asmDefault = FUML_Semantics_Extensions_Clock_PhysicalClock instance Ord FUML_Semantics_Extensions_Clock_ClockType where (<=) a b = ((findPos list a) < (findPos list b) || a == b) where list :: [FUML_Semantics_Extensions_Clock_ClockType] list = [FUML_Semantics_Extensions_Clock_PhysicalClock,FUML_Semantics_Extensions_Clock_LogicalClock,FUML_Semantics_Extensions_Clock_ChronometricClock] findPos :: [FUML_Semantics_Extensions_Clock_ClockType] -> FUML_Semantics_Extensions_Clock_ClockType -> Int findPos list elem | head list == elem = 0 | otherwise = 1 + (findPos (tail list) elem) instance Eq FUML_Semantics_Extensions_Clock_ClockType where (==) = genericEq -- () data FUML_Semantics_Extensions_Clock_Clock = FUML_Semantics_Extensions_Clock_Clock Int FUML_Semantics_Extensions_Clock_ClockType | FUML_Semantics_Extensions_Clock_ClockEmpty instance AsmTerm FUML_Semantics_Extensions_Clock_Clock where asmDefault = FUML_Semantics_Extensions_Clock_ClockEmpty instance Ord FUML_Semantics_Extensions_Clock_Clock where (<=) a b = genericLt a b || genericEq a b instance Eq FUML_Semantics_Extensions_Clock_Clock where (==) = genericEq -- -- RULE for creation extracting from the Reserve -- the type used for embedding is not a dynamic function, it is defined during embedding... subset from the set of possible values... rule_FUML_Semantics_Extensions_Clock_Clock_create :: FUML_Semantics_Extensions_Clock_ClockType -> Rule FUML_Semantics_Extensions_Clock_Clock rule_FUML_Semantics_Extensions_Clock_Clock_create fUML_Semantics_Extensions_Clock_ClockType = result( FUML_Semantics_Extensions_Clock_Clock (head $ newIntegers 1) fUML_Semantics_Extensions_Clock_ClockType) -------------------------------------- ATTRIBUTES -------------------------------------- --type function_Clock_type :: FUML_Semantics_Extensions_Clock_Clock -> FUML_Semantics_Extensions_Clock_ClockType function_Clock_type (FUML_Semantics_Extensions_Clock_Clock id fUML_Semantics_Extensions_Clock_ClockType) = fUML_Semantics_Extensions_Clock_ClockType --class FUNCTIONS FUML_Semantics_Extensions_Clock_Clock -- property generated resolution Real function_Clock_resolution :: Dynamic ( FUML_Semantics_Extensions_Clock_Clock -> Float ) function_Clock_resolution = initAssocs' "function_Clock_resolution" 0.0 asmLt (==) [] -- property generated timeBase DiscreteTimeBase function_Clock_timeBase :: Dynamic ( FUML_Semantics_Extensions_Clock_Clock -> FUML_Semantics_Extensions_Clock_TimeBase ) function_Clock_timeBase = initAssocs' "function_Clock_timeBase" asmDefault asmLt (==) [] -- property generated nature TimeNatureKind function_Clock_nature :: Dynamic ( FUML_Semantics_Extensions_Clock_Clock -> MARTE_Library_TimeTypesLibrary_TimeNatureKind ) function_Clock_nature = initAssocs' "function_Clock_nature" asmDefault asmLt (==) [] -- property not generated (DERIVED PROPERTY) currentTime Real -- property generated maximalValue Real function_Clock_maximalValue :: Dynamic ( FUML_Semantics_Extensions_Clock_Clock -> Float ) function_Clock_maximalValue = initAssocs' "function_Clock_maximalValue" 0.0 asmLt (==) [] --sub class FUNCTIONS FUML_Semantics_Extensions_Clock_PhysicalClock --sub class FUNCTIONS FUML_Semantics_Extensions_Clock_LogicalClock -- property generated definingEvent Event function_Clock_LogicalClock_definingEvent :: Dynamic ( FUML_Semantics_Extensions_Clock_Clock -> FUML_Syntax_CommonBehaviors_Communications_Event ) function_Clock_LogicalClock_definingEvent = initAssocs' "function_Clock_LogicalClock_definingEvent" asmDefault asmLt (==) [] -- property - association with opposite side navigable (logicalClocks) mandatory lower(1) - User must define a BODY function_Clock_LogicalClock_locus :: Dynamic ( FUML_Semantics_Extensions_Clock_Clock -> FUML_Semantics_Loci_LociL1_Locus ) function_Clock_LogicalClock_locus = initAssocs' "function_Clock_LogicalClock_locus" asmDefault asmLt (==) [] --sub class FUNCTIONS FUML_Semantics_Extensions_Clock_ChronometricClock -- property generated stability Real function_Clock_ChronometricClock_stability :: Dynamic ( FUML_Semantics_Extensions_Clock_Clock -> Float ) function_Clock_ChronometricClock_stability = initAssocs' "function_Clock_ChronometricClock_stability" 0.0 asmLt (==) [] -- property generated skew Real function_Clock_ChronometricClock_skew :: Dynamic ( FUML_Semantics_Extensions_Clock_Clock -> Float ) function_Clock_ChronometricClock_skew = initAssocs' "function_Clock_ChronometricClock_skew" 0.0 asmLt (==) [] -- property generated drift Real function_Clock_ChronometricClock_drift :: Dynamic ( FUML_Semantics_Extensions_Clock_Clock -> Float ) function_Clock_ChronometricClock_drift = initAssocs' "function_Clock_ChronometricClock_drift" 0.0 asmLt (==) [] -- property generated referenceClock ChronometricClock function_Clock_ChronometricClock_referenceClock :: Dynamic ( FUML_Semantics_Extensions_Clock_Clock -> FUML_Semantics_Extensions_Clock_Clock ) function_Clock_ChronometricClock_referenceClock = initAssocs' "function_Clock_ChronometricClock_referenceClock" asmDefault asmLt (==) [] -- property generated offset Real function_Clock_ChronometricClock_offset :: Dynamic ( FUML_Semantics_Extensions_Clock_Clock -> Float ) function_Clock_ChronometricClock_offset = initAssocs' "function_Clock_ChronometricClock_offset" 0.0 asmLt (==) [] -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Semantics_Extensions_Clock_Clock --sub class FUNCTIONS FUML_Semantics_Extensions_Clock_PhysicalClock --sub class FUNCTIONS FUML_Semantics_Extensions_Clock_LogicalClock --sub class FUNCTIONS FUML_Semantics_Extensions_Clock_ChronometricClock ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Semantics_Loci_LociL1_Executor -- () data FUML_Semantics_Loci_LociL1_Executor = FUML_Semantics_Loci_LociL1_Executor Int | FUML_Semantics_Loci_LociL1_ExecutorEmpty instance AsmTerm FUML_Semantics_Loci_LociL1_Executor where asmDefault = FUML_Semantics_Loci_LociL1_ExecutorEmpty instance Ord FUML_Semantics_Loci_LociL1_Executor where (<=) a b = genericLt a b || genericEq a b instance Eq FUML_Semantics_Loci_LociL1_Executor where (==) = genericEq instance Create FUML_Semantics_Loci_LociL1_Executor where createElem i = FUML_Semantics_Loci_LociL1_Executor i -------------------------------------- ATTRIBUTES -------------------------------------- --type --class FUNCTIONS FUML_Semantics_Loci_LociL1_Executor -- property - association with opposite side navigable (executor) - User can define a BODY function_Executor_locus :: Dynamic ( FUML_Semantics_Loci_LociL1_Executor -> FUML_Semantics_Loci_LociL1_Locus ) function_Executor_locus = initAssocs' "function_Executor_locus" asmDefault asmLt (==) [] -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Semantics_Loci_LociL1_Executor -- operation could be generated execute behavior::Behavior context::Object inputs::ParameterValue ReturnResult::ParameterValue -- operatio_Executor_execute :: FUML_Semantics_Loci_LociL1_Executor -> FUML_Syntax_Classes_Kernel_Classifier -> FUML_Semantics_Classes_Kernel_Value -> {FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue} -> Rule FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue -- -- operation could be generated evaluate ReturnResult::Value specification::ValueSpecification -- operatio_Executor_evaluate :: FUML_Semantics_Loci_LociL1_Executor -> FUML_Syntax_Classes_Kernel_ValueSpecification -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated start ReturnResult::Reference type::Class inputs::ParameterValue -- operatio_Executor_start :: FUML_Semantics_Loci_LociL1_Executor -> FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue} -> Rule FUML_Semantics_Classes_Kernel_Value -- ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Semantics_Extensions_Clock_Instant -- sub classes TYPES data FUML_Semantics_Extensions_Clock_InstantType = FUML_Semantics_Extensions_Clock_JunctionInstant instance AsmTerm FUML_Semantics_Extensions_Clock_InstantType where asmDefault = FUML_Semantics_Extensions_Clock_JunctionInstant instance Ord FUML_Semantics_Extensions_Clock_InstantType where (<=) a b = ((findPos list a) < (findPos list b) || a == b) where list :: [FUML_Semantics_Extensions_Clock_InstantType] list = [FUML_Semantics_Extensions_Clock_JunctionInstant] findPos :: [FUML_Semantics_Extensions_Clock_InstantType] -> FUML_Semantics_Extensions_Clock_InstantType -> Int findPos list elem | head list == elem = 0 | otherwise = 1 + (findPos (tail list) elem) instance Eq FUML_Semantics_Extensions_Clock_InstantType where (==) = genericEq -- () data FUML_Semantics_Extensions_Clock_Instant = FUML_Semantics_Extensions_Clock_Instant Int FUML_Semantics_Extensions_Clock_InstantType | FUML_Semantics_Extensions_Clock_InstantEmpty instance AsmTerm FUML_Semantics_Extensions_Clock_Instant where asmDefault = FUML_Semantics_Extensions_Clock_InstantEmpty instance Ord FUML_Semantics_Extensions_Clock_Instant where (<=) a b = genericLt a b || genericEq a b instance Eq FUML_Semantics_Extensions_Clock_Instant where (==) = genericEq -- -- RULE for creation extracting from the Reserve -- the type used for embedding is not a dynamic function, it is defined during embedding... subset from the set of possible values... rule_FUML_Semantics_Extensions_Clock_Instant_create :: FUML_Semantics_Extensions_Clock_InstantType -> Rule FUML_Semantics_Extensions_Clock_Instant rule_FUML_Semantics_Extensions_Clock_Instant_create fUML_Semantics_Extensions_Clock_InstantType = result( FUML_Semantics_Extensions_Clock_Instant (head $ newIntegers 1) fUML_Semantics_Extensions_Clock_InstantType) -------------------------------------- ATTRIBUTES -------------------------------------- --type function_Instant_type :: FUML_Semantics_Extensions_Clock_Instant -> FUML_Semantics_Extensions_Clock_InstantType function_Instant_type (FUML_Semantics_Extensions_Clock_Instant id fUML_Semantics_Extensions_Clock_InstantType) = fUML_Semantics_Extensions_Clock_InstantType --class FUNCTIONS FUML_Semantics_Extensions_Clock_Instant -- property generated date Real function_Instant_date :: Dynamic ( FUML_Semantics_Extensions_Clock_Instant -> Float ) function_Instant_date = initAssocs' "function_Instant_date" 0.0 asmLt (==) [] -- property generated tb TimeBase function_Instant_tb :: Dynamic ( FUML_Semantics_Extensions_Clock_Instant -> FUML_Semantics_Extensions_Clock_TimeBase ) function_Instant_tb = initAssocs' "function_Instant_tb" asmDefault asmLt (==) [] --sub class FUNCTIONS FUML_Semantics_Extensions_Clock_JunctionInstant -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Semantics_Extensions_Clock_Instant --sub class FUNCTIONS FUML_Semantics_Extensions_Clock_JunctionInstant ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue -- () data FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue = FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue Int | FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValueEmpty instance AsmTerm FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue where asmDefault = FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValueEmpty instance Ord FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue where (<=) a b = genericLt a b || genericEq a b instance Eq FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue where (==) = genericEq instance Create FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue where createElem i = FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue i -------------------------------------- ATTRIBUTES -------------------------------------- --type --class FUNCTIONS FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue -- property generated parameter Parameter function_ParameterValue_parameter :: Dynamic ( FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue -> FUML_Syntax_Classes_Kernel_Parameter ) function_ParameterValue_parameter = initAssocs' "function_ParameterValue_parameter" asmDefault asmLt (==) [] -- property generated values Value function_ParameterValue_values :: Dynamic ( FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue -> {FUML_Semantics_Classes_Kernel_Value} ) function_ParameterValue_values = initAssocs' "function_ParameterValue_values" {} asmLt (==) [] -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue -- operation could be generated copy ReturnResult::ParameterValue -- operatio_ParameterValue_copy :: FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue -> Rule FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue -- ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Semantics_Classes_Kernel_FeatureValue -- () data FUML_Semantics_Classes_Kernel_FeatureValue = FUML_Semantics_Classes_Kernel_FeatureValue Int | FUML_Semantics_Classes_Kernel_FeatureValueEmpty instance AsmTerm FUML_Semantics_Classes_Kernel_FeatureValue where asmDefault = FUML_Semantics_Classes_Kernel_FeatureValueEmpty instance Ord FUML_Semantics_Classes_Kernel_FeatureValue where (<=) a b = genericLt a b || genericEq a b instance Eq FUML_Semantics_Classes_Kernel_FeatureValue where (==) = genericEq instance Create FUML_Semantics_Classes_Kernel_FeatureValue where createElem i = FUML_Semantics_Classes_Kernel_FeatureValue i -------------------------------------- ATTRIBUTES -------------------------------------- --type --class FUNCTIONS FUML_Semantics_Classes_Kernel_FeatureValue -- property generated feature StructuralFeature function_FeatureValue_feature :: Dynamic ( FUML_Semantics_Classes_Kernel_FeatureValue -> FUML_Syntax_Classes_Kernel_Feature ) function_FeatureValue_feature = initAssocs' "function_FeatureValue_feature" asmDefault asmLt (==) [] -- property generated values Value function_FeatureValue_values :: Dynamic ( FUML_Semantics_Classes_Kernel_FeatureValue -> [FUML_Semantics_Classes_Kernel_Value] ) function_FeatureValue_values = initAssocs' "function_FeatureValue_values" [] asmLt (==) [] -- property generated position Integer function_FeatureValue_position :: Dynamic ( FUML_Semantics_Classes_Kernel_FeatureValue -> Int ) function_FeatureValue_position = initAssocs' "function_FeatureValue_position" 0 asmLt (==) [] -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Semantics_Classes_Kernel_FeatureValue -- operation could be generated hasEqualValues ReturnResult::Boolean other::FeatureValue -- operatio_FeatureValue_hasEqualValues :: FUML_Semantics_Classes_Kernel_FeatureValue -> FUML_Semantics_Classes_Kernel_FeatureValue -> Rule Bool -- -- operation could be generated copy ReturnResult::FeatureValue -- operatio_FeatureValue_copy :: FUML_Semantics_Classes_Kernel_FeatureValue -> Rule FUML_Semantics_Classes_Kernel_FeatureValue -- ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Semantics_Activities_IntermediateActivities_Token -- sub classes TYPES data FUML_Semantics_Activities_IntermediateActivities_TokenType = FUML_Semantics_Activities_IntermediateActivities_ControlToken | FUML_Semantics_Activities_IntermediateActivities_ObjectToken instance AsmTerm FUML_Semantics_Activities_IntermediateActivities_TokenType where asmDefault = FUML_Semantics_Activities_IntermediateActivities_ControlToken instance Ord FUML_Semantics_Activities_IntermediateActivities_TokenType where (<=) a b = ((findPos list a) < (findPos list b) || a == b) where list :: [FUML_Semantics_Activities_IntermediateActivities_TokenType] list = [FUML_Semantics_Activities_IntermediateActivities_ControlToken,FUML_Semantics_Activities_IntermediateActivities_ObjectToken] findPos :: [FUML_Semantics_Activities_IntermediateActivities_TokenType] -> FUML_Semantics_Activities_IntermediateActivities_TokenType -> Int findPos list elem | head list == elem = 0 | otherwise = 1 + (findPos (tail list) elem) instance Eq FUML_Semantics_Activities_IntermediateActivities_TokenType where (==) = genericEq -- () data FUML_Semantics_Activities_IntermediateActivities_Token = FUML_Semantics_Activities_IntermediateActivities_Token Int FUML_Semantics_Activities_IntermediateActivities_TokenType | FUML_Semantics_Activities_IntermediateActivities_TokenEmpty instance AsmTerm FUML_Semantics_Activities_IntermediateActivities_Token where asmDefault = FUML_Semantics_Activities_IntermediateActivities_TokenEmpty instance Ord FUML_Semantics_Activities_IntermediateActivities_Token where (<=) a b = genericLt a b || genericEq a b instance Eq FUML_Semantics_Activities_IntermediateActivities_Token where (==) = genericEq -- -- RULE for creation extracting from the Reserve -- the type used for embedding is not a dynamic function, it is defined during embedding... subset from the set of possible values... rule_FUML_Semantics_Activities_IntermediateActivities_Token_create :: FUML_Semantics_Activities_IntermediateActivities_TokenType -> Rule FUML_Semantics_Activities_IntermediateActivities_Token rule_FUML_Semantics_Activities_IntermediateActivities_Token_create fUML_Semantics_Activities_IntermediateActivities_TokenType = result( FUML_Semantics_Activities_IntermediateActivities_Token (head $ newIntegers 1) fUML_Semantics_Activities_IntermediateActivities_TokenType) -------------------------------------- ATTRIBUTES -------------------------------------- --type function_Token_type :: FUML_Semantics_Activities_IntermediateActivities_Token -> FUML_Semantics_Activities_IntermediateActivities_TokenType function_Token_type (FUML_Semantics_Activities_IntermediateActivities_Token id fUML_Semantics_Activities_IntermediateActivities_TokenType) = fUML_Semantics_Activities_IntermediateActivities_TokenType --class FUNCTIONS FUML_Semantics_Activities_IntermediateActivities_Token -- property not generated (TYPE IS NOT IN THE CLOSED SET) holder ActivityNodeActivation --sub class FUNCTIONS FUML_Semantics_Activities_IntermediateActivities_ControlToken --sub class FUNCTIONS FUML_Semantics_Activities_IntermediateActivities_ObjectToken -- property generated value Value function_Token_ObjectToken_value :: Dynamic ( FUML_Semantics_Activities_IntermediateActivities_Token -> FUML_Semantics_Classes_Kernel_Value ) function_Token_ObjectToken_value = initAssocs' "function_Token_ObjectToken_value" asmDefault asmLt (==) [] -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Semantics_Activities_IntermediateActivities_Token -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) transfer ReturnResult::Token holder::ActivityNodeActivation -- operation could be generated (THERE IS NO RETURN) -- operatio_Token_withdraw :: FUML_Semantics_Activities_IntermediateActivities_Token -> Rule() -- -- operation could be generated equals ReturnResult::Boolean other::Token -- operatio_Token_equals :: FUML_Semantics_Activities_IntermediateActivities_Token -> FUML_Semantics_Activities_IntermediateActivities_Token -> Rule Bool -- -- operation could be generated copy ReturnResult::Token -- operatio_Token_copy :: FUML_Semantics_Activities_IntermediateActivities_Token -> Rule FUML_Semantics_Activities_IntermediateActivities_Token -- -- operation could be generated isWithdrawn ReturnResult::Boolean -- operatio_Token_isWithdrawn :: FUML_Semantics_Activities_IntermediateActivities_Token -> Rule Bool -- -- operation could be generated isControl ReturnResult::Boolean -- operatio_Token_isControl :: FUML_Semantics_Activities_IntermediateActivities_Token -> Rule Bool -- -- operation could be generated getValue ReturnResult::Value -- operatio_Token_getValue :: FUML_Semantics_Activities_IntermediateActivities_Token -> Rule FUML_Semantics_Classes_Kernel_Value -- --sub class FUNCTIONS FUML_Semantics_Activities_IntermediateActivities_ControlToken -- operation could be generated equals ReturnResult::Boolean other::Token -- operatio_Token_ControlToken_equals :: FUML_Semantics_Activities_IntermediateActivities_Token -> FUML_Semantics_Activities_IntermediateActivities_Token -> Rule Bool -- -- operation could be generated copy ReturnResult::Token -- operatio_Token_ControlToken_copy :: FUML_Semantics_Activities_IntermediateActivities_Token -> Rule FUML_Semantics_Activities_IntermediateActivities_Token -- -- operation could be generated isControl ReturnResult::Boolean -- operatio_Token_ControlToken_isControl :: FUML_Semantics_Activities_IntermediateActivities_Token -> Rule Bool -- -- operation could be generated getValue ReturnResult::Value -- operatio_Token_ControlToken_getValue :: FUML_Semantics_Activities_IntermediateActivities_Token -> Rule FUML_Semantics_Classes_Kernel_Value -- --sub class FUNCTIONS FUML_Semantics_Activities_IntermediateActivities_ObjectToken -- operation could be generated equals ReturnResult::Boolean other::Token -- operatio_Token_ObjectToken_equals :: FUML_Semantics_Activities_IntermediateActivities_Token -> FUML_Semantics_Activities_IntermediateActivities_Token -> Rule Bool -- -- operation could be generated copy ReturnResult::Token -- operatio_Token_ObjectToken_copy :: FUML_Semantics_Activities_IntermediateActivities_Token -> Rule FUML_Semantics_Activities_IntermediateActivities_Token -- -- operation could be generated isControl ReturnResult::Boolean -- operatio_Token_ObjectToken_isControl :: FUML_Semantics_Activities_IntermediateActivities_Token -> Rule Bool -- -- operation could be generated getValue ReturnResult::Value -- operatio_Token_ObjectToken_getValue :: FUML_Semantics_Activities_IntermediateActivities_Token -> Rule FUML_Semantics_Classes_Kernel_Value -- ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Semantics_Loci_LociL1_Locus -- () data FUML_Semantics_Loci_LociL1_Locus = FUML_Semantics_Loci_LociL1_Locus Int | FUML_Semantics_Loci_LociL1_LocusEmpty instance AsmTerm FUML_Semantics_Loci_LociL1_Locus where asmDefault = FUML_Semantics_Loci_LociL1_LocusEmpty instance Ord FUML_Semantics_Loci_LociL1_Locus where (<=) a b = genericLt a b || genericEq a b instance Eq FUML_Semantics_Loci_LociL1_Locus where (==) = genericEq instance Create FUML_Semantics_Loci_LociL1_Locus where createElem i = FUML_Semantics_Loci_LociL1_Locus i -------------------------------------- ATTRIBUTES -------------------------------------- --type --class FUNCTIONS FUML_Semantics_Loci_LociL1_Locus -- property - association with opposite side navigable (locus) - User can define a BODY function_Locus_executor :: Dynamic ( FUML_Semantics_Loci_LociL1_Locus -> FUML_Semantics_Loci_LociL1_Executor ) function_Locus_executor = initAssocs' "function_Locus_executor" asmDefault asmLt (==) [] -- property - association with opposite side navigable (locus) - User can define a BODY function_Locus_factory :: Dynamic ( FUML_Semantics_Loci_LociL1_Locus -> FUML_Semantics_Loci_LociL1_ExecutionFactory ) function_Locus_factory = initAssocs' "function_Locus_factory" asmDefault asmLt (==) [] -- property generated mainTimeBase MultipleTimeBase function_Locus_mainTimeBase :: Dynamic ( FUML_Semantics_Loci_LociL1_Locus -> FUML_Semantics_Extensions_Clock_MultipleTimeBase ) function_Locus_mainTimeBase = initAssocs' "function_Locus_mainTimeBase" asmDefault asmLt (==) [] -- property generated evolvePhysicalClkAutomatically Boolean function_Locus_evolvePhysicalClkAutomatically :: Dynamic ( FUML_Semantics_Loci_LociL1_Locus -> Bool ) function_Locus_evolvePhysicalClkAutomatically = initAssocs' "function_Locus_evolvePhysicalClkAutomatically" False asmLt (==) [] -- property generated defaultPeriod2ReactionClk Integer function_Locus_defaultPeriod2ReactionClk :: Dynamic ( FUML_Semantics_Loci_LociL1_Locus -> Int ) function_Locus_defaultPeriod2ReactionClk = initAssocs' "function_Locus_defaultPeriod2ReactionClk" 0 asmLt (==) [] -- property generated physicalClkIsOnEdge Boolean function_Locus_physicalClkIsOnEdge :: Dynamic ( FUML_Semantics_Loci_LociL1_Locus -> Bool ) function_Locus_physicalClkIsOnEdge = initAssocs' "function_Locus_physicalClkIsOnEdge" False asmLt (==) [] -- property generated logicalClock LogicalClock function_Locus_logicalClock :: Dynamic ( FUML_Semantics_Loci_LociL1_Locus -> FUML_Semantics_Extensions_Clock_Clock ) function_Locus_logicalClock = initAssocs' "function_Locus_logicalClock" asmDefault asmLt (==) [] -- property generated reactionClock LogicalClock function_Locus_reactionClock :: Dynamic ( FUML_Semantics_Loci_LociL1_Locus -> FUML_Semantics_Extensions_Clock_Clock ) function_Locus_reactionClock = initAssocs' "function_Locus_reactionClock" asmDefault asmLt (==) [] -- property generated physicalClock PhysicalClock function_Locus_physicalClock :: Dynamic ( FUML_Semantics_Loci_LociL1_Locus -> FUML_Semantics_Extensions_Clock_Clock ) function_Locus_physicalClock = initAssocs' "function_Locus_physicalClock" asmDefault asmLt (==) [] -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Semantics_Loci_LociL1_Locus -- operation could be generated (THERE IS NO RETURN) -- operatio_Locus_setExecutor :: FUML_Semantics_Loci_LociL1_Locus -> FUML_Semantics_Loci_LociL1_Executor -> Rule() -- -- operation could be generated (THERE IS NO RETURN) -- operatio_Locus_setFactory :: FUML_Semantics_Loci_LociL1_Locus -> FUML_Semantics_Loci_LociL1_ExecutionFactory -> Rule() -- -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) getExtent classifier::invalid ReturnResult::ExtensionalValue -- operation could be generated (THERE IS NO RETURN) -- operatio_Locus_add :: FUML_Semantics_Loci_LociL1_Locus -> FUML_Semantics_Classes_Kernel_Value -> Rule() -- -- operation could be generated (THERE IS NO RETURN) -- operatio_Locus_remove :: FUML_Semantics_Loci_LociL1_Locus -> FUML_Semantics_Classes_Kernel_Value -> Rule() -- -- operation could be generated instantiate ReturnResult::Object type::Class -- operatio_Locus_instantiate :: FUML_Semantics_Loci_LociL1_Locus -> FUML_Syntax_Classes_Kernel_Classifier -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) conforms ReturnResult::Boolean type::invalid classifier::invalid ------------------------------------------------------------------------------------------------------------------------------------------------------------ data MARTE_Library_TimeTypesLibrary_TimeNatureKind = MARTE_Library_TimeTypesLibrary_TimeNatureKind_discrete | MARTE_Library_TimeTypesLibrary_TimeNatureKind_dense instance AsmTerm MARTE_Library_TimeTypesLibrary_TimeNatureKind where asmDefault = MARTE_Library_TimeTypesLibrary_TimeNatureKind_discrete instance Ord MARTE_Library_TimeTypesLibrary_TimeNatureKind where (<=) a b = ((findPos list a) < (findPos list b) || a == b) where list :: [MARTE_Library_TimeTypesLibrary_TimeNatureKind] list = [ MARTE_Library_TimeTypesLibrary_TimeNatureKind_discrete, MARTE_Library_TimeTypesLibrary_TimeNatureKind_dense] findPos :: [MARTE_Library_TimeTypesLibrary_TimeNatureKind] -> MARTE_Library_TimeTypesLibrary_TimeNatureKind -> Int findPos list elem | head list == elem = 0 | otherwise = 1 + (findPos (tail list) elem) ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Semantics_Classes_Kernel_Value -- sub classes TYPES data FUML_Semantics_Classes_Kernel_ValueType = FUML_Semantics_Classes_Kernel_BooleanValue | FUML_Implementation_Reals_RealLessThanOrEqualExecution | FUML_Semantics_Classes_Kernel_Object | FUML_Semantics_Classes_Kernel_UnlimitedNaturalValue | FUML_Semantics_Activities_IntermediateActivities_ActivityExecution | FUML_Implementation_Reals_RealNegExecution | FUML_Semantics_Classes_Kernel_DataValue | FUML_Semantics_CommonBehaviors_Communications_SignalInstance | FUML_Implementation_Booleans_BooleanAndExecution | FUML_Implementation_Reals_RealMultExecution | FUML_Semantics_Classes_Kernel_StringValue | FUML_Implementation_Reals_RealMinusExecution | FUML_Semantics_Classes_Kernel_Reference | FUML_Semantics_Classes_Kernel_IntegerValue | FUML_Semantics_Classes_Kernel_RealValue | FUML_Implementation_Reals_RealAddExecution | FUML_Implementation_Booleans_BooleanNotExecution instance AsmTerm FUML_Semantics_Classes_Kernel_ValueType where asmDefault = FUML_Semantics_Classes_Kernel_BooleanValue instance Ord FUML_Semantics_Classes_Kernel_ValueType where (<=) a b = ((findPos list a) < (findPos list b) || a == b) where list :: [FUML_Semantics_Classes_Kernel_ValueType] list = [FUML_Semantics_Classes_Kernel_BooleanValue,FUML_Implementation_Reals_RealLessThanOrEqualExecution,FUML_Semantics_Classes_Kernel_Object,FUML_Semantics_Classes_Kernel_UnlimitedNaturalValue,FUML_Semantics_Activities_IntermediateActivities_ActivityExecution,FUML_Implementation_Reals_RealNegExecution,FUML_Semantics_Classes_Kernel_DataValue,FUML_Semantics_CommonBehaviors_Communications_SignalInstance,FUML_Implementation_Booleans_BooleanAndExecution,FUML_Implementation_Reals_RealMultExecution,FUML_Semantics_Classes_Kernel_StringValue,FUML_Implementation_Reals_RealMinusExecution,FUML_Semantics_Classes_Kernel_Reference,FUML_Semantics_Classes_Kernel_IntegerValue,FUML_Semantics_Classes_Kernel_RealValue,FUML_Implementation_Reals_RealAddExecution,FUML_Implementation_Booleans_BooleanNotExecution] findPos :: [FUML_Semantics_Classes_Kernel_ValueType] -> FUML_Semantics_Classes_Kernel_ValueType -> Int findPos list elem | head list == elem = 0 | otherwise = 1 + (findPos (tail list) elem) instance Eq FUML_Semantics_Classes_Kernel_ValueType where (==) = genericEq -- () data FUML_Semantics_Classes_Kernel_Value = FUML_Semantics_Classes_Kernel_Value Int FUML_Semantics_Classes_Kernel_ValueType | FUML_Semantics_Classes_Kernel_ValueEmpty instance AsmTerm FUML_Semantics_Classes_Kernel_Value where asmDefault = FUML_Semantics_Classes_Kernel_ValueEmpty instance Ord FUML_Semantics_Classes_Kernel_Value where (<=) a b = genericLt a b || genericEq a b instance Eq FUML_Semantics_Classes_Kernel_Value where (==) = genericEq -- -- RULE for creation extracting from the Reserve -- the type used for embedding is not a dynamic function, it is defined during embedding... subset from the set of possible values... rule_FUML_Semantics_Classes_Kernel_Value_create :: FUML_Semantics_Classes_Kernel_ValueType -> Rule FUML_Semantics_Classes_Kernel_Value rule_FUML_Semantics_Classes_Kernel_Value_create fUML_Semantics_Classes_Kernel_ValueType = result( FUML_Semantics_Classes_Kernel_Value (head $ newIntegers 1) fUML_Semantics_Classes_Kernel_ValueType) -------------------------------------- ATTRIBUTES -------------------------------------- --type function_Value_type :: FUML_Semantics_Classes_Kernel_Value -> FUML_Semantics_Classes_Kernel_ValueType function_Value_type (FUML_Semantics_Classes_Kernel_Value id fUML_Semantics_Classes_Kernel_ValueType) = fUML_Semantics_Classes_Kernel_ValueType --class FUNCTIONS FUML_Semantics_Classes_Kernel_Value --super class FUNCTIONS FUML_Semantics_Loci_LociL1_SemanticVisitor --sub class FUNCTIONS FUML_Implementation_Reals_RealLessThanOrEqualExecution --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_UnlimitedNaturalValue -- property generated value UnlimitedNatural function_Value_UnlimitedNaturalValue_value :: Dynamic ( FUML_Semantics_Classes_Kernel_Value -> Int ) function_Value_UnlimitedNaturalValue_value = initAssocs' "function_Value_UnlimitedNaturalValue_value" 0 asmLt (==) [] --sub class FUNCTIONS FUML_Implementation_Reals_RealNegExecution --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_DataValue -- property generated type DataType function_Value_DataValue_type :: Dynamic ( FUML_Semantics_Classes_Kernel_Value -> FUML_Syntax_Classes_Kernel_Classifier ) function_Value_DataValue_type = initAssocs' "function_Value_DataValue_type" asmDefault asmLt (==) [] --sub class FUNCTIONS FUML_Semantics_CommonBehaviors_Communications_SignalInstance -- property generated type Signal function_Value_SignalInstance_type :: Dynamic ( FUML_Semantics_Classes_Kernel_Value -> FUML_Syntax_Classes_Kernel_Classifier ) function_Value_SignalInstance_type = initAssocs' "function_Value_SignalInstance_type" asmDefault asmLt (==) [] -- property not generated (TYPE IS NOT IN THE CLOSED SET) communication_signals communication_signals --sub class FUNCTIONS FUML_Implementation_Booleans_BooleanAndExecution --sub class FUNCTIONS FUML_Implementation_NativeExecution --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_StringValue -- property generated value String function_Value_StringValue_value :: Dynamic ( FUML_Semantics_Classes_Kernel_Value -> String ) function_Value_StringValue_value = initAssocs' "function_Value_StringValue_value" "" asmLt (==) [] --sub class FUNCTIONS FUML_Implementation_Reals_RealMinusExecution --sub class FUNCTIONS FUML_Implementation_Reals_RealNativeExecution --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_BooleanValue -- property generated value Boolean function_Value_BooleanValue_value :: Dynamic ( FUML_Semantics_Classes_Kernel_Value -> Bool ) function_Value_BooleanValue_value = initAssocs' "function_Value_BooleanValue_value" False asmLt (==) [] --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_Object -- property generated types Class function_Value_Object_types :: Dynamic ( FUML_Semantics_Classes_Kernel_Value -> {FUML_Syntax_Classes_Kernel_Classifier} ) function_Value_Object_types = initAssocs' "function_Value_Object_types" {} asmLt (==) [] -- property not generated (TYPE IS NOT IN THE CLOSED SET) objectActivation ObjectActivation --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_StructuredValue --sub class FUNCTIONS FUML_Implementation_Booleans_BooleanNativeExecution --sub class FUNCTIONS FUML_Semantics_Activities_IntermediateActivities_ActivityExecution -- property not generated (TYPE IS NOT IN THE CLOSED SET) activationGroup ActivityNodeActivationGroup --sub class FUNCTIONS FUML_Semantics_CommonBehaviors_BasicBehaviors_Execution -- property generated context Object function_Value_Execution_context :: Dynamic ( FUML_Semantics_Classes_Kernel_Value -> FUML_Semantics_Classes_Kernel_Value ) function_Value_Execution_context = initAssocs' "function_Value_Execution_context" asmDefault asmLt (==) [] -- property generated parameterValues ParameterValue function_Value_Execution_parameterValues :: Dynamic ( FUML_Semantics_Classes_Kernel_Value -> {FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue} ) function_Value_Execution_parameterValues = initAssocs' "function_Value_Execution_parameterValues" {} asmLt (==) [] --sub class FUNCTIONS FUML_Implementation_Reals_RealMultExecution --sub class FUNCTIONS FUML_Semantics_CommonBehaviors_BasicBehaviors_OpaqueBehaviorExecution --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_PrimitiveValue -- property generated type PrimitiveType function_Value_PrimitiveValue_type :: Dynamic ( FUML_Semantics_Classes_Kernel_Value -> FUML_Syntax_Classes_Kernel_Classifier ) function_Value_PrimitiveValue_type = initAssocs' "function_Value_PrimitiveValue_type" asmDefault asmLt (==) [] --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_Reference -- property generated referent Object function_Value_Reference_referent :: Dynamic ( FUML_Semantics_Classes_Kernel_Value -> FUML_Semantics_Classes_Kernel_Value ) function_Value_Reference_referent = initAssocs' "function_Value_Reference_referent" asmDefault asmLt (==) [] --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_IntegerValue -- property generated value Integer function_Value_IntegerValue_value :: Dynamic ( FUML_Semantics_Classes_Kernel_Value -> Int ) function_Value_IntegerValue_value = initAssocs' "function_Value_IntegerValue_value" 0 asmLt (==) [] --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_ExtensionalValue -- property - association with opposite side navigable (extensionalValues) - User can define a BODY function_Value_ExtensionalValue_locus :: Dynamic ( FUML_Semantics_Classes_Kernel_Value -> FUML_Semantics_Loci_LociL1_Locus ) function_Value_ExtensionalValue_locus = initAssocs' "function_Value_ExtensionalValue_locus" asmDefault asmLt (==) [] --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_RealValue -- property generated value Real function_Value_RealValue_value :: Dynamic ( FUML_Semantics_Classes_Kernel_Value -> Float ) function_Value_RealValue_value = initAssocs' "function_Value_RealValue_value" 0.0 asmLt (==) [] --sub class FUNCTIONS FUML_Implementation_Reals_RealAddExecution --sub class FUNCTIONS FUML_Implementation_Booleans_BooleanNotExecution --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_CompoundValue -- property generated featureValues FeatureValue function_Value_CompoundValue_featureValues :: Dynamic ( FUML_Semantics_Classes_Kernel_Value -> {FUML_Semantics_Classes_Kernel_FeatureValue} ) function_Value_CompoundValue_featureValues = initAssocs' "function_Value_CompoundValue_featureValues" {} asmLt (==) [] -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Semantics_Classes_Kernel_Value -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) specify ReturnResult::invalid -- operation could be generated equals ReturnResult::Boolean otherValue::Value -- operatio_Value_equals :: FUML_Semantics_Classes_Kernel_Value -> FUML_Semantics_Classes_Kernel_Value -> Rule Bool -- -- operation could be generated copy ReturnResult::Value -- operatio_Value_copy :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated new_ ReturnResult::Value -- operatio_Value_new_ :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) getTypes ReturnResult::invalid -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) hasType ReturnResult::Boolean type::invalid -- operation could be generated toString ReturnResult::String -- operatio_Value_toString :: FUML_Semantics_Classes_Kernel_Value -> Rule String -- -- operation could be generated objectId ReturnResult::String -- operatio_Value_objectId :: FUML_Semantics_Classes_Kernel_Value -> Rule String -- --super class FUNCTIONS FUML_Semantics_Loci_LociL1_SemanticVisitor -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_SemanticVisitor__endIsolation :: FUML_Semantics_Classes_Kernel_Value -> Rule() -- -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_SemanticVisitor__beginIsolation :: FUML_Semantics_Classes_Kernel_Value -> Rule() -- --sub class FUNCTIONS FUML_Implementation_Reals_RealLessThanOrEqualExecution --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_UnlimitedNaturalValue -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) specify ReturnResult::invalid -- operation could be generated equals ReturnResult::Boolean otherValue::Value -- operatio_Value_UnlimitedNaturalValue_equals :: FUML_Semantics_Classes_Kernel_Value -> FUML_Semantics_Classes_Kernel_Value -> Rule Bool -- -- operation could be generated copy ReturnResult::Value -- operatio_Value_UnlimitedNaturalValue_copy :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated new_ ReturnResult::Value -- operatio_Value_UnlimitedNaturalValue_new_ :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated toString ReturnResult::String -- operatio_Value_UnlimitedNaturalValue_toString :: FUML_Semantics_Classes_Kernel_Value -> Rule String -- --sub class FUNCTIONS FUML_Implementation_Reals_RealNegExecution --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_DataValue -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) getTypes ReturnResult::invalid -- operation could be generated copy ReturnResult::Value -- operatio_Value_DataValue_copy :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated new_ ReturnResult::Value -- operatio_Value_DataValue_new_ :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- --sub class FUNCTIONS FUML_Semantics_CommonBehaviors_Communications_SignalInstance -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) getTypes ReturnResult::invalid -- operation could be generated new_ ReturnResult::Value -- operatio_Value_SignalInstance_new_ :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated copy ReturnResult::Value -- operatio_Value_SignalInstance_copy :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- --sub class FUNCTIONS FUML_Implementation_Booleans_BooleanAndExecution --sub class FUNCTIONS FUML_Implementation_NativeExecution --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_StringValue -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) specify ReturnResult::invalid -- operation could be generated equals ReturnResult::Boolean otherValue::Value -- operatio_Value_StringValue_equals :: FUML_Semantics_Classes_Kernel_Value -> FUML_Semantics_Classes_Kernel_Value -> Rule Bool -- -- operation could be generated copy ReturnResult::Value -- operatio_Value_StringValue_copy :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated new_ ReturnResult::Value -- operatio_Value_StringValue_new_ :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated toString ReturnResult::String -- operatio_Value_StringValue_toString :: FUML_Semantics_Classes_Kernel_Value -> Rule String -- --sub class FUNCTIONS FUML_Implementation_Reals_RealMinusExecution --sub class FUNCTIONS FUML_Implementation_Reals_RealNativeExecution --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_BooleanValue -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) specify ReturnResult::invalid -- operation could be generated equals ReturnResult::Boolean otherValue::Value -- operatio_Value_BooleanValue_equals :: FUML_Semantics_Classes_Kernel_Value -> FUML_Semantics_Classes_Kernel_Value -> Rule Bool -- -- operation could be generated copy ReturnResult::Value -- operatio_Value_BooleanValue_copy :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated new_ ReturnResult::Value -- operatio_Value_BooleanValue_new_ :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated toString ReturnResult::String -- operatio_Value_BooleanValue_toString :: FUML_Semantics_Classes_Kernel_Value -> Rule String -- --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_Object -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_Object_startBehavior :: FUML_Semantics_Classes_Kernel_Value -> FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue} -> Rule() -- -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) dispatch ReturnResult::Execution operation::invalid -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_Object_send :: FUML_Semantics_Classes_Kernel_Value -> FUML_Semantics_Classes_Kernel_Value -> Rule() -- -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_Object_destroy :: FUML_Semantics_Classes_Kernel_Value -> Rule() -- -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_Object_register :: FUML_Semantics_Classes_Kernel_Value -> -> Rule() -- -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_Object_unregister :: FUML_Semantics_Classes_Kernel_Value -> -> Rule() -- -- operation could be generated copy ReturnResult::Value -- operatio_Value_Object_copy :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated new_ ReturnResult::Value -- operatio_Value_Object_new_ :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) getTypes ReturnResult::invalid --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_StructuredValue -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) specify ReturnResult::invalid -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) getFeatureValue ReturnResult::FeatureValue feature::invalid -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_StructuredValue_setFeatureValue :: FUML_Semantics_Classes_Kernel_Value -> -> {FUML_Semantics_Classes_Kernel_Value} -> Int -> Rule() -- -- operation could be generated getFeatureValues ReturnResult::FeatureValue -- operatio_Value_StructuredValue_getFeatureValues :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_FeatureValue -- -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_StructuredValue_createFeatureValues :: FUML_Semantics_Classes_Kernel_Value -> Rule() -- --sub class FUNCTIONS FUML_Implementation_Booleans_BooleanNativeExecution --sub class FUNCTIONS FUML_Semantics_Activities_IntermediateActivities_ActivityExecution -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_ActivityExecution_execute :: FUML_Semantics_Classes_Kernel_Value -> Rule() -- -- operation could be generated copy ReturnResult::Value -- operatio_Value_ActivityExecution_copy :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated new_ ReturnResult::Value -- operatio_Value_ActivityExecution_new_ :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_ActivityExecution_terminate :: FUML_Semantics_Classes_Kernel_Value -> Rule() -- --sub class FUNCTIONS FUML_Semantics_CommonBehaviors_BasicBehaviors_Execution -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_Execution_execute :: FUML_Semantics_Classes_Kernel_Value -> Rule() -- -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_Execution_terminate :: FUML_Semantics_Classes_Kernel_Value -> Rule() -- -- operation could be generated copy ReturnResult::Value -- operatio_Value_Execution_copy :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated new_ ReturnResult::Value -- operatio_Value_Execution_new_ :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_Execution_setParameterValue :: FUML_Semantics_Classes_Kernel_Value -> FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue -> Rule() -- -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) getParameterValue ReturnResult::ParameterValue parameter::invalid -- operation could be generated getOutputParameterValues ReturnResult::ParameterValue -- operatio_Value_Execution_getOutputParameterValues :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue -- -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) getBehavior ReturnResult::invalid --sub class FUNCTIONS FUML_Implementation_Reals_RealMultExecution --sub class FUNCTIONS FUML_Semantics_CommonBehaviors_BasicBehaviors_OpaqueBehaviorExecution -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_OpaqueBehaviorExecution_execute :: FUML_Semantics_Classes_Kernel_Value -> Rule() -- -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_OpaqueBehaviorExecution_doBody :: FUML_Semantics_Classes_Kernel_Value -> {FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue} -> {FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue} -> Rule() -- --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_PrimitiveValue -- operation could be generated copy ReturnResult::Value -- operatio_Value_PrimitiveValue_copy :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) getTypes ReturnResult::invalid --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_Reference -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_Reference_startBehavior :: FUML_Semantics_Classes_Kernel_Value -> FUML_Syntax_Classes_Kernel_Classifier -> {FUML_Semantics_CommonBehaviors_BasicBehaviors_ParameterValue} -> Rule() -- -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) dispatch ReturnResult::Execution operation::invalid -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_Reference_send :: FUML_Semantics_Classes_Kernel_Value -> FUML_Semantics_Classes_Kernel_Value -> Rule() -- -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_Reference_destroy :: FUML_Semantics_Classes_Kernel_Value -> Rule() -- -- operation could be generated equals ReturnResult::Boolean otherValue::Value -- operatio_Value_Reference_equals :: FUML_Semantics_Classes_Kernel_Value -> FUML_Semantics_Classes_Kernel_Value -> Rule Bool -- -- operation could be generated copy ReturnResult::Value -- operatio_Value_Reference_copy :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated new_ ReturnResult::Value -- operatio_Value_Reference_new_ :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) getTypes ReturnResult::invalid -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) getFeatureValue ReturnResult::FeatureValue feature::invalid -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_Reference_setFeatureValue :: FUML_Semantics_Classes_Kernel_Value -> -> {FUML_Semantics_Classes_Kernel_Value} -> Int -> Rule() -- -- operation could be generated getFeatureValues ReturnResult::FeatureValue -- operatio_Value_Reference_getFeatureValues :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_FeatureValue -- -- operation could be generated toString ReturnResult::String -- operatio_Value_Reference_toString :: FUML_Semantics_Classes_Kernel_Value -> Rule String -- --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_IntegerValue -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) specify ReturnResult::invalid -- operation could be generated equals ReturnResult::Boolean otherValue::Value -- operatio_Value_IntegerValue_equals :: FUML_Semantics_Classes_Kernel_Value -> FUML_Semantics_Classes_Kernel_Value -> Rule Bool -- -- operation could be generated copy ReturnResult::Value -- operatio_Value_IntegerValue_copy :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated new_ ReturnResult::Value -- operatio_Value_IntegerValue_new_ :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated toString ReturnResult::String -- operatio_Value_IntegerValue_toString :: FUML_Semantics_Classes_Kernel_Value -> Rule String -- --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_ExtensionalValue -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_ExtensionalValue_destroy :: FUML_Semantics_Classes_Kernel_Value -> Rule() -- -- operation could be generated copy ReturnResult::Value -- operatio_Value_ExtensionalValue_copy :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_RealValue -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) specify Parameter1::invalid -- operation could be generated equals otherValue::Value Parameter1::Boolean -- operatio_Value_RealValue_equals :: FUML_Semantics_Classes_Kernel_Value -> FUML_Semantics_Classes_Kernel_Value -> Rule Bool -- -- operation could be generated copy Parameter1::Value -- operatio_Value_RealValue_copy :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated new_ Parameter1::Value -- operatio_Value_RealValue_new_ :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could be generated toString Parameter1::String -- operatio_Value_RealValue_toString :: FUML_Semantics_Classes_Kernel_Value -> Rule String -- --sub class FUNCTIONS FUML_Implementation_Reals_RealAddExecution --sub class FUNCTIONS FUML_Implementation_Booleans_BooleanNotExecution --sub class FUNCTIONS FUML_Semantics_Classes_Kernel_CompoundValue -- operation could be generated equals ReturnResult::Boolean otherValue::Value -- operatio_Value_CompoundValue_equals :: FUML_Semantics_Classes_Kernel_Value -> FUML_Semantics_Classes_Kernel_Value -> Rule Bool -- -- operation could be generated copy ReturnResult::Value -- operatio_Value_CompoundValue_copy :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) getFeatureValue ReturnResult::FeatureValue feature::invalid -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_CompoundValue_setFeatureValue :: FUML_Semantics_Classes_Kernel_Value -> -> {FUML_Semantics_Classes_Kernel_Value} -> Int -> Rule() -- -- operation could be generated getFeatureValues ReturnResult::FeatureValue -- operatio_Value_CompoundValue_getFeatureValues :: FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_FeatureValue -- -- operation could be generated (THERE IS NO RETURN) -- operatio_Value_CompoundValue_removeFeatureValues :: FUML_Semantics_Classes_Kernel_Value -> -> Rule() -- -- operation could be generated toString ReturnResult::String -- operatio_Value_CompoundValue_toString :: FUML_Semantics_Classes_Kernel_Value -> Rule String -- ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Semantics_Loci_LociL1_ExecutionFactory -- () data FUML_Semantics_Loci_LociL1_ExecutionFactory = FUML_Semantics_Loci_LociL1_ExecutionFactory Int | FUML_Semantics_Loci_LociL1_ExecutionFactoryEmpty instance AsmTerm FUML_Semantics_Loci_LociL1_ExecutionFactory where asmDefault = FUML_Semantics_Loci_LociL1_ExecutionFactoryEmpty instance Ord FUML_Semantics_Loci_LociL1_ExecutionFactory where (<=) a b = genericLt a b || genericEq a b instance Eq FUML_Semantics_Loci_LociL1_ExecutionFactory where (==) = genericEq instance Create FUML_Semantics_Loci_LociL1_ExecutionFactory where createElem i = FUML_Semantics_Loci_LociL1_ExecutionFactory i -------------------------------------- ATTRIBUTES -------------------------------------- --type --class FUNCTIONS FUML_Semantics_Loci_LociL1_ExecutionFactory -- property - association with opposite side navigable (factory) - User can define a BODY function_ExecutionFactory_locus :: Dynamic ( FUML_Semantics_Loci_LociL1_ExecutionFactory -> FUML_Semantics_Loci_LociL1_Locus ) function_ExecutionFactory_locus = initAssocs' "function_ExecutionFactory_locus" asmDefault asmLt (==) [] -- property generated primitiveBehaviorPrototypes OpaqueBehaviorExecution function_ExecutionFactory_primitiveBehaviorPrototypes :: Dynamic ( FUML_Semantics_Loci_LociL1_ExecutionFactory -> {FUML_Semantics_Classes_Kernel_Value} ) function_ExecutionFactory_primitiveBehaviorPrototypes = initAssocs' "function_ExecutionFactory_primitiveBehaviorPrototypes" {} asmLt (==) [] -- property generated builtInTypes PrimitiveType function_ExecutionFactory_builtInTypes :: Dynamic ( FUML_Semantics_Loci_LociL1_ExecutionFactory -> {FUML_Syntax_Classes_Kernel_Classifier} ) function_ExecutionFactory_builtInTypes = initAssocs' "function_ExecutionFactory_builtInTypes" {} asmLt (==) [] -- property not generated (TYPE IS NOT IN THE CLOSED SET) strategies SemanticStrategy -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Semantics_Loci_LociL1_ExecutionFactory -- operation could be generated createExecution ReturnResult::Execution behavior::Behavior context::Object -- operatio_ExecutionFactory_createExecution :: FUML_Semantics_Loci_LociL1_ExecutionFactory -> FUML_Syntax_Classes_Kernel_Classifier -> FUML_Semantics_Classes_Kernel_Value -> Rule FUML_Semantics_Classes_Kernel_Value -- -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) createEvaluation ReturnResult::Evaluation specification::ValueSpecification -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) instantiateVisitor element::invalid ReturnResult::SemanticVisitor -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) instantiateOpaqueBehaviorExecution ReturnResult::OpaqueBehaviorExecution behavior::OpaqueBehavior -- operation could be generated (THERE IS NO RETURN) -- operatio_ExecutionFactory_addPrimitiveBehaviorPrototype :: FUML_Semantics_Loci_LociL1_ExecutionFactory -> FUML_Semantics_Classes_Kernel_Value -> Rule() -- -- operation could be generated (THERE IS NO RETURN) -- operatio_ExecutionFactory_addBuiltInType :: FUML_Semantics_Loci_LociL1_ExecutionFactory -> FUML_Syntax_Classes_Kernel_Classifier -> Rule() -- -- operation could be generated getBuiltInType ReturnResult::PrimitiveType name::String -- operatio_ExecutionFactory_getBuiltInType :: FUML_Semantics_Loci_LociL1_ExecutionFactory -> String -> Rule FUML_Syntax_Classes_Kernel_Classifier -- -- operation could be generated (THERE IS NO RETURN) -- operatio_ExecutionFactory_setStrategy :: FUML_Semantics_Loci_LociL1_ExecutionFactory -> -> Rule() -- -- operation could not be generated (SOME TYPE IS NOT IN THE CLOSED SET) getStrategy name::String OwnedParameter::SemanticStrategy -- operation could be generated getStrategyIndex name::String OwnedParameter::Integer -- operatio_ExecutionFactory_getStrategyIndex :: FUML_Semantics_Loci_LociL1_ExecutionFactory -> String -> Rule Int -- ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Semantics_Extensions_Clock_TimeBase -- sub classes TYPES data FUML_Semantics_Extensions_Clock_TimeBaseType = FUML_Semantics_Extensions_Clock_DiscreteTimeBase instance AsmTerm FUML_Semantics_Extensions_Clock_TimeBaseType where asmDefault = FUML_Semantics_Extensions_Clock_DiscreteTimeBase instance Ord FUML_Semantics_Extensions_Clock_TimeBaseType where (<=) a b = ((findPos list a) < (findPos list b) || a == b) where list :: [FUML_Semantics_Extensions_Clock_TimeBaseType] list = [FUML_Semantics_Extensions_Clock_DiscreteTimeBase] findPos :: [FUML_Semantics_Extensions_Clock_TimeBaseType] -> FUML_Semantics_Extensions_Clock_TimeBaseType -> Int findPos list elem | head list == elem = 0 | otherwise = 1 + (findPos (tail list) elem) instance Eq FUML_Semantics_Extensions_Clock_TimeBaseType where (==) = genericEq -- () data FUML_Semantics_Extensions_Clock_TimeBase = FUML_Semantics_Extensions_Clock_TimeBase Int FUML_Semantics_Extensions_Clock_TimeBaseType | FUML_Semantics_Extensions_Clock_TimeBaseEmpty instance AsmTerm FUML_Semantics_Extensions_Clock_TimeBase where asmDefault = FUML_Semantics_Extensions_Clock_TimeBaseEmpty instance Ord FUML_Semantics_Extensions_Clock_TimeBase where (<=) a b = genericLt a b || genericEq a b instance Eq FUML_Semantics_Extensions_Clock_TimeBase where (==) = genericEq -- -- RULE for creation extracting from the Reserve -- the type used for embedding is not a dynamic function, it is defined during embedding... subset from the set of possible values... rule_FUML_Semantics_Extensions_Clock_TimeBase_create :: FUML_Semantics_Extensions_Clock_TimeBaseType -> Rule FUML_Semantics_Extensions_Clock_TimeBase rule_FUML_Semantics_Extensions_Clock_TimeBase_create fUML_Semantics_Extensions_Clock_TimeBaseType = result( FUML_Semantics_Extensions_Clock_TimeBase (head $ newIntegers 1) fUML_Semantics_Extensions_Clock_TimeBaseType) -------------------------------------- ATTRIBUTES -------------------------------------- --type function_TimeBase_type :: FUML_Semantics_Extensions_Clock_TimeBase -> FUML_Semantics_Extensions_Clock_TimeBaseType function_TimeBase_type (FUML_Semantics_Extensions_Clock_TimeBase id fUML_Semantics_Extensions_Clock_TimeBaseType) = fUML_Semantics_Extensions_Clock_TimeBaseType --class FUNCTIONS FUML_Semantics_Extensions_Clock_TimeBase -- property generated currentInstant Instant function_TimeBase_currentInstant :: Dynamic ( FUML_Semantics_Extensions_Clock_TimeBase -> FUML_Semantics_Extensions_Clock_Instant ) function_TimeBase_currentInstant = initAssocs' "function_TimeBase_currentInstant" asmDefault asmLt (==) [] -- property generated owningMTB MultipleTimeBase function_TimeBase_owningMTB :: Dynamic ( FUML_Semantics_Extensions_Clock_TimeBase -> FUML_Semantics_Extensions_Clock_MultipleTimeBase ) function_TimeBase_owningMTB = initAssocs' "function_TimeBase_owningMTB" asmDefault asmLt (==) [] -- property generated nature TimeNatureKind function_TimeBase_nature :: Dynamic ( FUML_Semantics_Extensions_Clock_TimeBase -> MARTE_Library_TimeTypesLibrary_TimeNatureKind ) function_TimeBase_nature = initAssocs' "function_TimeBase_nature" asmDefault asmLt (==) [] --sub class FUNCTIONS FUML_Semantics_Extensions_Clock_DiscreteTimeBase -- property generated coveringTB TimeBase function_TimeBase_DiscreteTimeBase_coveringTB :: Dynamic ( FUML_Semantics_Extensions_Clock_TimeBase -> FUML_Semantics_Extensions_Clock_TimeBase ) function_TimeBase_DiscreteTimeBase_coveringTB = initAssocs' "function_TimeBase_DiscreteTimeBase_coveringTB" asmDefault asmLt (==) [] -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Semantics_Extensions_Clock_TimeBase --sub class FUNCTIONS FUML_Semantics_Extensions_Clock_DiscreteTimeBase ------------------------------------------------------------------------------------------------------------------------------------------------------------ -- CLASS FUML_Semantics_Extensions_Clock_MultipleTimeBase -- () data FUML_Semantics_Extensions_Clock_MultipleTimeBase = FUML_Semantics_Extensions_Clock_MultipleTimeBase Int | FUML_Semantics_Extensions_Clock_MultipleTimeBaseEmpty instance AsmTerm FUML_Semantics_Extensions_Clock_MultipleTimeBase where asmDefault = FUML_Semantics_Extensions_Clock_MultipleTimeBaseEmpty instance Ord FUML_Semantics_Extensions_Clock_MultipleTimeBase where (<=) a b = genericLt a b || genericEq a b instance Eq FUML_Semantics_Extensions_Clock_MultipleTimeBase where (==) = genericEq instance Create FUML_Semantics_Extensions_Clock_MultipleTimeBase where createElem i = FUML_Semantics_Extensions_Clock_MultipleTimeBase i -------------------------------------- ATTRIBUTES -------------------------------------- --type --class FUNCTIONS FUML_Semantics_Extensions_Clock_MultipleTimeBase -- property generated parentMTB MultipleTimeBase function_MultipleTimeBase_parentMTB :: Dynamic ( FUML_Semantics_Extensions_Clock_MultipleTimeBase -> FUML_Semantics_Extensions_Clock_MultipleTimeBase ) function_MultipleTimeBase_parentMTB = initAssocs' "function_MultipleTimeBase_parentMTB" asmDefault asmLt (==) [] -------------------------------------- OPERATIONS -------------------------------------- --class FUNCTIONS FUML_Semantics_Extensions_Clock_MultipleTimeBase -- EVALUATED these elements - closed set: -- UnlimitedNaturalValue -- superclasses: PrimitiveValue SemanticVisitor Value -- Instant -- subclasses: JunctionInstant -- ActivityExecution -- superclasses: Object SemanticVisitor StructuredValue Execution ExtensionalValue Value CompoundValue -- DataValue -- superclasses: SemanticVisitor StructuredValue Value CompoundValue -- SignalInstance -- superclasses: SemanticVisitor StructuredValue Value CompoundValue -- Locus -- BooleanNotExecution -- superclasses: Object SemanticVisitor StructuredValue BooleanNativeExecution Execution ExtensionalValue Value OpaqueBehaviorExecution CompoundValue NativeExecution -- ParameterValue -- Property -- superclasses: TypedElement StructuralFeature Feature MultiplicityElement NamedElement RedefinableElement Element -- subclasses: ConnectableElement Port -- Generalization -- superclasses: Element -- ActivityNodeActivation -- superclasses: SemanticVisitor -- Token -- subclasses: ControlToken ObjectToken -- ExecutionFactory -- StructuredActivityNode -- superclasses: ActivityNode ExecutableNode NamedElement Element RedefinableElement Action -- EncapsulatedClassifier -- superclasses: Namespace PackageableElement Classifier StructuredClassifier Type NamedElement Element -- subclasses: Class Activity -- DataType -- superclasses: Namespace PackageableElement Classifier Type NamedElement Element -- subclasses: PrimitiveType -- TimeBase -- subclasses: DiscreteTimeBase -- Namespace -- superclasses: NamedElement Element -- subclasses: Class PrimitiveType StructuredClassifier Package Activity EncapsulatedClassifier Signal DataType -- StructuredValue -- superclasses: SemanticVisitor Value -- subclasses: RealLessThanOrEqualExecution RealMinusExecution Object Reference ActivityExecution RealNegExecution DataValue RealAddExecution BooleanAndExecution SignalInstance BooleanNotExecution RealMultExecution -- LogicalClock -- superclasses: Clock -- ActivityEdge -- superclasses: NamedElement Element RedefinableElement -- CompoundValue -- superclasses: SemanticVisitor StructuredValue Value -- subclasses: RealLessThanOrEqualExecution RealMinusExecution Object ActivityExecution RealNegExecution DataValue RealAddExecution BooleanAndExecution SignalInstance BooleanNotExecution RealMultExecution -- BooleanValue -- superclasses: PrimitiveValue SemanticVisitor Value -- ValueSpecification -- superclasses: TypedElement NamedElement Element -- ChronometricClock -- superclasses: Clock -- subclasses: PhysicalClock -- UnlimitedNatural -- RedefinableElement -- superclasses: NamedElement Element -- subclasses: ConnectableElement StructuredActivityNode Port Connector Property Operation Reception -- Offer -- Value -- superclasses: SemanticVisitor -- subclasses: BooleanValue RealLessThanOrEqualExecution Object UnlimitedNaturalValue ActivityExecution RealNegExecution DataValue SignalInstance BooleanAndExecution RealMultExecution StringValue RealMinusExecution Reference IntegerValue RealValue RealAddExecution BooleanNotExecution -- IntegerValue -- superclasses: PrimitiveValue SemanticVisitor Value -- RealValue -- superclasses: PrimitiveValue SemanticVisitor Value -- PackageableElement -- superclasses: NamedElement Element -- subclasses: Class PrimitiveType StructuredClassifier Constraint Package Activity EncapsulatedClassifier Signal DataType -- RealMinusExecution -- superclasses: Object SemanticVisitor StructuredValue Execution ExtensionalValue Value OpaqueBehaviorExecution CompoundValue RealNativeExecution NativeExecution -- Event -- superclasses: PackageableElement NamedElement Element -- MultipleTimeBase -- StructuredClassifier -- superclasses: Namespace PackageableElement Classifier Type NamedElement Element -- subclasses: Class Activity EncapsulatedClassifier -- String -- DiscreteTimeBase -- superclasses: TimeBase -- ObjectToken -- superclasses: Token -- Executor -- VisibilityKind -- Reference -- superclasses: SemanticVisitor StructuredValue Value -- TypedElement -- superclasses: NamedElement Element -- subclasses: ConnectableElement Parameter Port Property -- PackageImport -- superclasses: Element -- TimeNatureKind -- Port -- superclasses: TypedElement Property StructuralFeature Feature MultiplicityElement NamedElement RedefinableElement Element -- Real -- Clock -- subclasses: PhysicalClock LogicalClock ChronometricClock -- Feature -- superclasses: NamedElement Element RedefinableElement -- subclasses: ConnectableElement Port Connector Property Reception Operation -- BooleanAndExecution -- superclasses: Object SemanticVisitor StructuredValue BooleanNativeExecution Execution ExtensionalValue Value OpaqueBehaviorExecution CompoundValue NativeExecution -- ElementImport -- superclasses: Element -- FeatureValue -- Reception -- superclasses: Feature BehavioralFeature NamedElement Element RedefinableElement -- ConnectableElement -- superclasses: TypedElement Property StructuralFeature Feature MultiplicityElement NamedElement RedefinableElement Element -- PhysicalClock -- superclasses: Clock ChronometricClock -- SemanticStrategy -- Comment -- ControlToken -- superclasses: Token -- RealNativeExecution -- superclasses: Object SemanticVisitor StructuredValue Execution ExtensionalValue Value OpaqueBehaviorExecution CompoundValue NativeExecution -- subclasses: RealLessThanOrEqualExecution RealMinusExecution RealNegExecution RealAddExecution RealMultExecution -- ExtensionalValue -- superclasses: SemanticVisitor StructuredValue Value CompoundValue -- subclasses: RealLessThanOrEqualExecution RealMinusExecution Object ActivityExecution RealNegExecution RealAddExecution BooleanAndExecution BooleanNotExecution RealMultExecution -- StructuralFeature -- superclasses: TypedElement Feature MultiplicityElement NamedElement RedefinableElement Element -- subclasses: ConnectableElement Port Property -- PrimitiveType -- superclasses: Namespace PackageableElement Classifier Type NamedElement Element DataType -- RealLessThanOrEqualExecution -- superclasses: Object SemanticVisitor StructuredValue Execution ExtensionalValue Value OpaqueBehaviorExecution CompoundValue RealNativeExecution NativeExecution -- NamedElement -- superclasses: Element -- subclasses: StructuredActivityNode Parameter Connector Property StructuredClassifier Operation Reception Package EncapsulatedClassifier Signal DataType ConnectableElement Class Port PrimitiveType Constraint Activity -- Signal -- superclasses: Namespace PackageableElement Classifier Type NamedElement Element -- BehavioredClassifier -- superclasses: Namespace PackageableElement Classifier Type NamedElement Element -- subclasses: Class Activity -- Package -- superclasses: Namespace PackageableElement NamedElement Element -- RealMultExecution -- superclasses: Object SemanticVisitor StructuredValue Execution ExtensionalValue Value OpaqueBehaviorExecution CompoundValue RealNativeExecution NativeExecution -- Classifier -- superclasses: Namespace PackageableElement Type NamedElement Element -- subclasses: Class PrimitiveType StructuredClassifier Activity EncapsulatedClassifier Signal DataType -- ObjectActivation -- OpaqueBehaviorExecution -- superclasses: Object SemanticVisitor StructuredValue Execution ExtensionalValue Value CompoundValue -- subclasses: RealLessThanOrEqualExecution RealMinusExecution RealNegExecution BooleanAndExecution RealAddExecution BooleanNotExecution RealMultExecution -- Constraint -- superclasses: PackageableElement NamedElement Element -- Object -- superclasses: SemanticVisitor StructuredValue ExtensionalValue Value CompoundValue -- subclasses: RealLessThanOrEqualExecution RealMinusExecution ActivityExecution RealNegExecution BooleanAndExecution RealAddExecution BooleanNotExecution RealMultExecution -- Execution -- superclasses: Object SemanticVisitor StructuredValue ExtensionalValue Value CompoundValue -- subclasses: RealLessThanOrEqualExecution RealMinusExecution ActivityExecution RealNegExecution BooleanAndExecution RealAddExecution BooleanNotExecution RealMultExecution -- Type -- superclasses: PackageableElement NamedElement Element -- subclasses: Class PrimitiveType StructuredClassifier Activity EncapsulatedClassifier Signal DataType -- BooleanNativeExecution -- superclasses: Object SemanticVisitor StructuredValue Execution ExtensionalValue Value OpaqueBehaviorExecution CompoundValue NativeExecution -- subclasses: BooleanAndExecution BooleanNotExecution -- Class -- superclasses: Namespace BehavioredClassifier PackageableElement Classifier StructuredClassifier Type EncapsulatedClassifier NamedElement Element -- subclasses: Activity -- Element -- subclasses: StructuredActivityNode Parameter Connector Property StructuredClassifier Reception Operation Package MultiplicityElement Generalization EncapsulatedClassifier Signal ElementImport DataType ConnectableElement Class Port PrimitiveType Constraint Activity PackageImport -- RealNegExecution -- superclasses: Object SemanticVisitor StructuredValue Execution ExtensionalValue Value OpaqueBehaviorExecution CompoundValue RealNativeExecution NativeExecution -- ParameterDirectionKind -- Integer -- JunctionInstant -- superclasses: Instant -- SystemOfEquations -- PrimitiveValue -- superclasses: SemanticVisitor Value -- subclasses: BooleanValue UnlimitedNaturalValue IntegerValue RealValue StringValue -- Activity -- superclasses: Class Namespace BehavioredClassifier PackageableElement Classifier StructuredClassifier Type Behavior EncapsulatedClassifier NamedElement Element -- Operation -- superclasses: Feature BehavioralFeature NamedElement Element RedefinableElement -- Behavior -- superclasses: Class Namespace BehavioredClassifier PackageableElement Classifier StructuredClassifier Type EncapsulatedClassifier NamedElement Element -- subclasses: Activity -- ExecutableNode -- superclasses: ActivityNode NamedElement Element RedefinableElement -- subclasses: StructuredActivityNode -- Boolean -- StringValue -- superclasses: PrimitiveValue SemanticVisitor Value -- MultiplicityElement -- superclasses: Element -- subclasses: ConnectableElement Parameter Port Property -- BehavioralFeature -- superclasses: Feature NamedElement Element RedefinableElement -- subclasses: Reception Operation -- SemanticVisitor -- subclasses: BooleanValue RealLessThanOrEqualExecution Object UnlimitedNaturalValue ActivityExecution RealNegExecution DataValue SignalInstance BooleanAndExecution RealMultExecution StringValue RealMinusExecution Reference IntegerValue RealValue RealAddExecution BooleanNotExecution -- RealAddExecution -- superclasses: Object SemanticVisitor StructuredValue Execution ExtensionalValue Value OpaqueBehaviorExecution CompoundValue RealNativeExecution NativeExecution -- communication_signals -- Action -- superclasses: ActivityNode ExecutableNode NamedElement Element RedefinableElement -- subclasses: StructuredActivityNode -- ActivityNodeActivationGroup -- ActivityNode -- superclasses: NamedElement Element RedefinableElement -- subclasses: StructuredActivityNode -- NativeExecution -- superclasses: Object SemanticVisitor StructuredValue Execution ExtensionalValue Value OpaqueBehaviorExecution CompoundValue -- subclasses: RealLessThanOrEqualExecution RealMinusExecution RealNegExecution BooleanAndExecution RealAddExecution BooleanNotExecution RealMultExecution -- Connector -- superclasses: Feature NamedElement Element RedefinableElement -- Parameter -- superclasses: TypedElement MultiplicityElement NamedElement Element